[liuxia] Add type constructor fact.