* limited refactoring in the lazy kernel * still bugs in circular_3 * still specialization problem with iso_rectangle