Implementation of the lua_imperative typeclass
Looking at implementation funny. Slow progress.
Revamping state.m to reflect the recent changes to lua.m and imperative.m