Another suggestion for the label syntax could be "name->", the label
name followed by an arrow. That would be similiar to labels in other
languages ("name:") and the arrow would indicate that the name points to
something.
Example:
if some_condition then
goto label1
end
some_code (blub)
label1->
return