Preliminary vcat code, no guarantees.
Changed children of expression to use Tuple. Cleaned up + and * atoms.