Refactored SymLocs to include a field for attrs.

To keep track of "pointer provenance" -- whether an lvalue comes from a union
field or an array and whether it's based on restict-qualified pointers.