add Functor instance of Rel type in ArithRel module
check real shadow in Omega test