Added a note about a known bug.
Improved generated type by preventing 1-ary "operations" on opaques.
Added explicit constructor for externally bound variables (to avoid conflation with TForAll).