- Type aliases are no longer treated as types.
- Type vars are not treated like types either.
- System can narrow types on "if" expressions.