Better location information for definition bodies

Locations of the body are now on the '{' or ':' of a
definition, instead of on the 'def' of a definition.