Cubical Structures

This is an attempt to translate the agda-algebras library to cubical agda, and incorporate general (relation-algebraic structures) as opposed to just algebraic structures.