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