My perception following the discussion around typedef is that we should
eliminate it. What we offer is "alias", which is a generalization of C's
"typedef", and the change of name is justified by the fact that "alias"
defines aliases for more entities than just types.
Does all that sound good?
Andrei