Add Queue datatype

[silas-hw]

The now closed #3072 shows that we currently lack a Queue structure in the standard library. This can generally be broken into a number of (initial) sub-tasks:

• Define Queue and appropriate module structure (Data.Queue that then re-exports definitions of Data.Queue.Base?), and basic operations (enqueue, dequeue, fromList, toList, etc...)
• Prove basic, mostly 'obvious' properties
• Define effectfulnes
• Update CHANGELOG
• Add README files and documentation

From there, more properties, relations, etc... can be added as needed.