Ensure that all identifiers have their types inferred.