fix(builtin/cast): remove dominj axiom, it is not consistent with the new semantics of Pi/forall

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>