Change Context type parameter: Bool -> RCKind.