Update to ANF-Form. Missing typingok. Removed most of the metatheory.