typecheck

A Luaish run-time gradual type checking system, for argument and
return types at function boundaries with simple annotations that can
be enabled or disabled for production code, with a Lua API modelled
on the core Lua C language API.