Fixed parser not recognising empty functions

+ calling show on a Term now prints [] for functions with empty bodies;
+ this allows for correct parsing 'R[f[], x]' to 'Atom "R" [F "f" [], V
"x"]', and printing of that as 'R[f[], x]'.