Support type parameters for type aliases #10
Description
Ravencheck currently doesn't seem to support type parameters for type aliases. For example, given a parameterized type pub enum Term<T> { ... }, I would then like to create aliases using that type such as pub type Knowledge<T> = Map<usize, Term<T>>. Currently trying this results in the error message: right side Map<usize, Term<T>> of type alias 'Knowledge' is not valid: Type 'T' has not been declared.