make arguments of some definitions implicit in cubical.square
make arguments of some definitions implicit in cubical.square

fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2