fixed most of the unit tests (except for the unary minus related ones). there seems to be a bug with the letrecsplitter.