A naive typechecker for zepto programs - View it on GitHub