Bugs:

- See the testsuite.  There are several tests that do not pass yet.
