Hyper-Typing