A Cubical Language for Bishop Sets (Logical Methods in Computer Science, 2022)