Add toplevel commands to declare global universes and constraints.