[liuxia] Add partial keyword fact & type visibility fact.