The datatypes package is complete, testable and usable. Minor improvements may still be made.