minor corrections

Moved uncompleted tests to the issues block to be completed.
Also defined the Opaque type as a new type to be implemented as a
separate feature for amorphous blocks of text to be read.