Clean up.
Made Boolean to extend BasicType.
Checkpointing extension.