isValidOp

validate operation between types T and E code: mixin( return is( typeof( T.init ~ op ~ E.init ) : K ); );