Create an IronType.
the refined type.
the constraint applied to the type.
the value to be constrained.
the given value typed as IronType.
autoRefine, refine, refineEither, refineOption
this does not check if the constraint is satisfied. Use refine to refine a value at runtime.