The docs state that types are "Beta" and not to be trusted. How beta are they? Should I stay away from them entirely or what? I know you state in another thread that they are working but the error messages aren't (???) but I'm not sure exactly where we are with types.
The work perfectly if you don't mistype a thing. See the Rock 'N Bolt game I've made - it's all TYPEs. If, however, you have typos, the compiler *might* give stupid errors or even worse - precompile and yield gcc compilation errors.
Try it out, use them if you want them and post buggy code here.