* Arity-checking now runs in parallel for all the arities.
+ Added recursive types.
+ Added primitive types.