Disallow variables with unconstrained types
Parsing for combined record/array references
Fix regression caused by previous commit