Improved the condition for desugaring left-hand side projections in ElabDecls.hs