Just released v1.4.0 of my open source Lua IDE (Jetbrains plugin) with support for optional bolt-on types specified as regular Lua comments.Biggest new feature is support for optional parameters (previously supported, but cumbersome with overloads).