A simple type system for lua - View it on GitHub