doc: Clearify language of user-defined attributes
doc: Descripe Maps type syntax
edoc: Add map/0 as a new predefined type
doc: Add maps to reference manual
doc: Mention map expressions and map guards
doc: Add Maps example for sequential programming