[+] def fold ( x: T , ta: TypeAccumulator [ T ] ) ( implicit ctx: Context ) : T

[+] def isMatchedBy ( tp1: Type ) ( implicit ctx: Context ) : Boolean

[+] def map ( tm: TypeMap ) ( implicit ctx: Context ) : ProtoType