Added a checkpoint system. Also Contractionability is now mapped to left
shift.