Prev compiler bug seems to be the result of a BAD typecheck that spuriously
let a wrong program through.  I labelled it in the code here.