[ cosmetics ] Comments, formatting in Scope/Base.
[ Issue 1320 ] Fixed.

WithoutK accidentially marked projection patterns as unusable.
[ Issue 1320 ] Test case for coinduction --without-K.