basics: fiddling with "sets and n-types"
basics: connect n-types to hprops and contr