better debugging for Lebesgue; added Seq to compat layers