Math and aggregate expressions

Since the translator is just spitting them out as FunctionRefs now, the args are always captured in operand.  But when the translator spits out the proper ELM types (e.g., Count) instead of FunctionRefs, it will spit them out with the proper properties (for the ELM type) as well.