Fact definition creates new instance and tells its type