Make Term subtypes inherit publicly

This is actually useful. :)
Implement parser
Add syntax for cons literals