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