Dagstuhl seminar 2016

This is the version of Andromeda used for the presentation at the Dagstuhl seminar on Algebraic Effects and Handlers held in March 2016.

The presentation code itself is available at doc/talks/dagstuhl/presentation_dagstuhl.m31.

TYPES2016: Merge pull request #324 from SkySkimmer/cleanup

This is the version of Andromeda described in the submission to TYPES2016.