remove junk cabal dependency
refactoring to add more expression types
add underscore to identifier lexer
WIP add inclusion dependency processing
add inclusion dependency tutd test and fix constraint checking function