[ gitignore ] Ignoring dyn files.
[ Fomega ] Explicit arrow and forall in type grammar.

WAS: subsumed under TCon, but this is impractical.
[ Fomega ] Constructors of Fomega expressions start with F now.
[ Fomega ] Implemented inductive instance of grammar.
[ Fomega ] First draft of type extraction.

Does not compile yet.
[ Fomega ] Added levels to Vec example extraction.
[ Fomega ] Added a second base kind KTerm.
[ Fomega ] Informal extraction examples: added lookup.