bugfixes, support for checks()
Tidal Lock: static typing for Lua; first commit