made java typechecking almost work

- replaced import with extend and include
- implemented java grammar typecheck function (still incomplete)
- reworked term and token structs to do equal and hash
- removed literal core lang