pippijn/aldor — pull request #74 by pbroadbery (2013-09-02 07:43:19+00:00)
Title: Pab/devel

Random type related stuff:
- Some cleanup of exceptions, fixes #42.
- Keep track of conditionals within 'and' expressions
- Remove a bunch of pretends from algebra. There are more of these, but have to start somewhere.