Significantly more typechecking progress