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

missing update on Hlcl2Prolog included