User can now create arbitrary instances.
In addition, start of MakeUniqueTransformation