Convert lhand, lhs and rhs functions
Remove unsafe version of concl
Convert equal module until BINOP_CONV function
Complete conversion of equal module