Added a condition for desugaring clauses with left-hand side projections in ElabDecls.hs with actually closes tdidriksen/Idris-dev#15