Text this: A Cubical Language for Bishop Sets