Separate the core semantics from convenience sugar

[wycats]

The existing implementation includes a lot of combinators. I'd separate them out into a separate file, and make the primary implementation focused on what will end up becoming the spec proposal.