pub fn register(ctx: &mut Context) -> KernelResult<()>
The SProp connectives and the four constants, certified.
SProp