Added typecheck and polyTypecheck. They fail with Let and App though.