Shortening common methods on types
Supporting nested function types in signatures
Generifying generated operator names