Datatype constraints
Deep into prefixes, but not too far off one valid point. Just about to fuck with eval_trees
Ok, this is pretty much working as it should be
Merge branch 'monad'