made error message about inferring types of properties clearer