Delete undocumented behaviour.
Test invalid BinOp.
Test invalid Module.