Make returning different types more ergonomic

[filmor]

Currently, returning differently typed terms always involves using Term<'a> and explicit encoding. One option to improve this would be to introduce a new enum AnyTerm implementing From for all term types (and types that can be unambigiously converted to terms), implementing Encoder itself.