se cambio el tipo del campo tipo de la clase rol, antes era String, ahora es una enumeración con los valores profesor, estudiante, encargad; para mostrar el nombre del usuario antes se hacía un llamado directo a su atributo, ahora se usa el método toString(), recien creado en esta clase
la definición de la enumeración Tipo en la clase rol estaba mal, ya se corrigió
el uso de la enumeración en la clase Rol trajó más problemas, se volvió a usar el tipo String para el campo rol
se añadió la discriminación por rol
se añadió la discriminación por rol