Make all types stricter.