Update fact-types-specification.md