A Cubical Language for Bishop Sets