first implementation of type checker
main module for testing
make it a cabal package