Make HophJunior and Flower type-checked again.