Space printed after colon in binding printing (modified all expected
outputs)

expected files changed because a space has been removed after closing
comments (there was two spaces)

Create the universal closure if it does not exist already

Allows to typecheck KernelDefinition

More uniform processing, at the cost of the encoding of 'restrict'
and 'extend' and not processing K_props and identity_props (they use
S_pred things).