first stubs in elaboration and syntax
type checking stubs
put constructors and destructors in place
get rid of SPrim
forgot to add file
store constructors/destructors in env
fix infinite loop in reduction
split Monad, and move stuff around
made cursor nesting more general
glue the ConDestr stuff
put destructors in place too
oops
do not require checking for 0-ary tycons
do not count parameters
elaborate modules correctly
rework tests
Merge branch 'master' into bidirectional2
damnit default instances...
oops
restore list examples