tests pass
creates Value = TypeConstructor