Implement LabeledStatement

LabeledStatement accepts normal Statements (not limited to IterationStatement).
And non-unique labels are not allowed.