Facts

TODO: refactor the Wuffs the Language document.