Allow for `d>num:shp` pattern in type patterns

Allows to write things like:

int[n>3:shp3] audgn (int[m>0:shp0] a, int[m>0:shp0,q>5:shp5] b)
{
    ...
}

Currently ensures AUD>0 (+), but in future can guarantee AUD>N, for any N.