Supports sum types.
Makes all names late-bound, reclaim 'a.b' for member access. (Fixes #16)
Allows f(a, b, ..., z) syntax (Fixes #15)