My enabling supplement for ice cream and cereal-with-milk is Rainbow Light's Lacto-Zyme Dairy-Eze (half-price at http://www.houseofnutrition.com/hono/rainbowlight.html)
which contains lots of lactase, plus a generous dollop of lipase (helpful with fatty foods) and pretty much every other enzyme except the one in Beano. Good luck!