Added label and goto statements, added support for type inference from aget expression.