Documentation: add the syntax specification of maps (#204).