perform property lookup, if property extraction does not work

this is a workaround for a missing distinction in the NaBL generator

as a consequence, typically erroneous TS specifications work now, e.g.
VarRef(v): t where v: t instead of VarRef(v): t where definition of v: t