Minimalism versus Types An experience report on the development of Titan, a statically-typed Lua-li…