fixup tests for type checker -- make test passes with no failures

needed to normalize the result type after inference
delete todo file (contents now in readme)
uncomment some type checker tests