Function
Symbol \var-func(Symbol ret, list[Symbol] parameters, Symbol varArg)
Usage
import Type;
Transformations to create canonical forms of some type