Casts the current Term to Constant, if possible
the current Term, casted to Constant
if the current Term is not an instance of Constant