fixing bug #52; Theorem, Lemma, Fact are all opaque; Also fixed the encodig of unapplied data constructors in the encoding