Construct a AssertionArgument from an Assertion.
Creates a string representation of a field accessor.
Construct a TypeArgument from a ClassTag.
Creates a string representation of an unapply method for a term.
Construct a ValueArgument from a value.