add primitive types to SimplyTyped. make type operator right-associative for easier currying.