Typing: Test for annotated type (wrong!)
Typing: made poly equality more friendly (but still not ok!)