Add failure case for term building dispatch
Fix variable parallel binder to store S(t) instead of pure t.
Fix CallT handling when passed as strategy such that it no longer looks at the number of passed term arguments.
Add syntactic support for ImportTerm and reduction rule by means of native operation (latter not yet implemented)
Fix building and matching of tuples and lists.