Show HN: Kailua, Type Checker and IDE Support for Lua

This was posted on HN as I went to sleep in Kailua, after the $100k thing.