cleaned up the description of the twist cobordism and added a proof of the regular interval theorem, with a stronger statement