working on Loc of ident
typing locs in the definition