Use a Hash for AttributeSet

This makes name resolution O(1).