Adds a profnote in dsLExpr. Used by LiquidHaskell; could presumably be useful for other tools.
dsLExpr