Helper method aimed at down-casting Terms using a fluent style
the current term, cast'd into type T
must be a subtype of Term
if the current term is not of type T