Add carma extension update

New module added to the carma extension (CarmaBooleanREMOVE)