Using type checking info instance to map the identifiers to their type and to keep a list of errors