combine expressions and type tests into syntax tests