Type tightening