Complete Attributes

Complete attributes in the language. This work has been done by Joost van der Sluis and was checked in.
The work is available for inspection and awaits merging to trunk.