Inferred typing