Documentation for method constraints

Documentation for method constraints, assembled from the following types:

class Parameter

From Parameter

(Parameter) method constraints

Returns additional constraints on the parameter (usually as an all-Junction).