Super Typing