Enhancement: Added support for user-defined generic type aliases.
Bug Fix: Fixed the handling of bidirectional type inference for cases involving lists with a declared entry type.
Bug Fix: Fixed a condition where the literal portion of a type was improperly removed. This affected imported type aliases in some contexts.