Reducing the Cost of Precise Types