avoid term instructions
this resolves an ambiguity when a single term argument is a tuple, 
e.g. produce (&1, &2)
task for list lengths
improvements for lists
fixed bug in equality check