Document fixed bit-width assumptions in Copilot

[leepike]

@fredyr pointed out that queues are implemented using Word16, regardless of the user type and suggested we should document all the non-user specified fixed types used, particularly for porting programs to exotic compilers/processors.