Removing typing rules from slides