Definition of classes to retrieve hlcl program, expressions, negations,

etc

missing update on Hlcl2Prolog included