Should be semantics for lists (not verified)
Made chaining of chained attribute 'used' more explicit, for safety
Lists now verified (including comparing the types of the elements of the list)