Allow variable type constructors (`a[b]` where `a` is a variable)