ddc-core: use bidir checking in right of letrecs