More reasonable default inference for attribute types