Moving Typed Lua syntax from README to thesis