no more exceptions appearing in test cases, relaxed rules on Term/CompoundTerm casts and prevent invalid Sentences before being constructed