Fact and Ident types