Note the difference between this fixtype,
with a question mark in amb?,
and the fixtype amb-expr/tyname.
The latter captures definitely ambiguous constructs
that may be expressions or type names.
In contrast, this fixtype includes constructs that are
either just expressions, or just type names, or ambiguous ones.