So far on this trip $(nameless experimental thing) has type checked its first program. We're not at FOUR yet, but it's still some kind of milestone.