[kernel] Slightly improves tag location for properties and global variables.

Uses Ast.def_or_last_decl for the location of global variables.
Uses Property.location for logical properties.