more syntax checking with bidi transforms