Starting on making code for expressions.  fixed a bug with typecheck!