[Description] Creates fact statements about Java type property's constraints by using semantical information specified by @JavaTypeConstraints annotation. [ID] 
Sapphire.FactsService.JavaTypeConstraint