type bad testing 101-32
almost all bad tests pass but I have introduced a  new error that mst be fixed in inferExp for EAss
fixed small things
typechecker passes all tests