Doc improvements.
Make Attribute's "default" an Option and add a hasDefault method.