`typeAlias` missing features.

## Feature Request

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