Lobsters: Three times faster with lazy imports