`typeAlias` missing features.

## Feature Request

### Description of Problem:
`typeAlias` is missing the following features:
- typeAlias derivation from another typeAlias
- conditions
- type parametrisation in derivation

Busca en el repositorio la implementación existente de typeAlias y sus pruebas o puntos de entrada. Compara el comportamiento actual con la derivación solicitada a partir de otro typeAlias, las condiciones y la parametrización de tipos en la derivación. Se considera terminado cuando los tres comportamientos están soportados y cubiertos por pruebas.

Escrito por el modelo de indexación a partir del texto del issue.