Started with implementing looking up relevant CTyAppEqs in the inert
stage.