Vi vil komme med formelle, skriftlige løsninger når vi er klare og når EU gjør det klart at de vil behandle dem konstruktivt som et alternativ til backstop-løsningen, sier en talsperson for den britiske regjeringen.