Fills out type comparison tests
Fixes <= type comparison
Fixes misspelling bug (righgt) in test_comparison