Yes, type aliases are not types (but macros on typ...

# language-proposals

[dmitry.petrov]

Yes, type aliases are not types (but macros on type projections), that's intentional and will not change.
Value classes (starting from a limited form with a single field only) are in the plans.