Luaty compiles itself successfully with type inference enabled, albeit with many inaccurate warnings.

Type annotation syntax and types of built ins are deliberately delayed to first iron out inferencer's issues.