Cubical Syntax for Reflection-Free Extensional Equality