some new thoughts on the structure of pages
Setting up types for storable

Note: Would like to make the type Schema a GADT, but promoting GADTs is not supported