signum package:express

signum over the Int type lifted over the Expr type.
> signum' xx'
signum x' :: Int
> evl (signum' minusTwo) :: Int
-1
signum over the Int type encoded as an Expr.
> signumE
signum :: Int -> Int