Non-atomic arguments

[bartvm]

The parser balks at some non-atomic arguments because of assumptions that they are variables. Instead, process_expression should be called recursively.