locate: now works on record fields and constructors (incl. exceptions)