Overload comparison operators only if their native counterpart return bool.
Do not write the fixed keyword multiple times for nested array types.
Desugar a type to test whether or not it is a tag declaration.
Desugar a type to test whether it is primitive or not.
Put abstract implementations in the proper namespace.
Fixed retrieval of method overloads in case the provided function is an operator.