makes spire friendlier to retypechecking