As an additional feature it would be nice if we could use a transform to check if the provided inputs are legal.
For example
would return true if all values of y lay in the domains specified by t.
Such a function would make it convenient to check user provided arguments (i.e. model parameters).
Maybe this could be introduced when dealing with #24 or #64.