expr tests done
tests from typechecker implemented