Less general aggregate functions and NULL handling.

Aggregate functions returning Maybe and joinV (see #21).