adjusted errorhighlight to trigger on church syntax errors