trivial: spacing
Use reifyE for non-lambda variables. Uncurried prims accordingly.