Add types grouping and arrays shortcut

[pinepain]

At the moment to denote that some type is array of sth we have to use array() or array notation, so complex types annotation becomes array(foo), array(foo|native_object(bar)), which could be improved and cleaned up by using [] notation: [] (which is effectively the same as any[]), foo[], foo[]|bar[], (foo|bar)[] and so on.