Move types, true, false, and () onto state