Ref::operator * ()
Updating abstract syntax, removing array types