relmap with hook
redefine assert using hook
redefine global using hook
redefine relmap using hook
redefine types to implement relmap operators
introduce relmap with hook