optimize imports
prevent registration of procedures that are of the same kind (ID) AND the same discriminator (i.e. origin)
formalise contract for registering and listing behaviours. run integrity checks as additional reification step