Fix compilation error in experimental kernel's Thm.sml (following a64ae984f)