No need for type_of to contain an inner function -- just make it a single, recursive function.
Some minor simplifications in 'meson.fs'.
Moved all of the values/functions bound inside GEN_MESON_TAC into an internal module GenMesonTac; this will make it possible to test those functions and to reset mutable state (necessary for unit testing).