Redo semantics of calls (particularly binding of the SVars)
Add All support for lists. Work around unification issues of reductions.
Minor.
Very very basic support for primitives.
Turns out that term building can fail after all