fe: add possibility to omit .type.

[michaellilltokiwa]

• I have read and accept the Tokiwa Software Fuzion Contributor Agreement.

[fridis]

Looks great!

Will have a detailed look into it tomorrow.

[fridis]

I am very happy with this PR! Espacially, I think I could use some of this to later permit feature declarations to serve as type aliases, which also requires converting calls into types.

[fridis]

Would be nice to avoid code duplication by adding a method

  resolve(Resolution res, AbstractFeature outerfeat, boolean justTry)

and call this both by resolve and tryResolve.

[fridis]

We can solve this later, but here are my thoughts:

A duplicate feature is a bit difficult to define when you take visibility into account.

I prefer to cause an error at an ambiguous call and to provide a means to disambiguate the calls:

ex is 
  a => 3
  type.a => 4

say ex.a    # should cause an error, ambiguous!

To make a call on the type feature, one could write

say ex.type.a

It is a bit harder to make a call on the instance, one ugly solution might be a temp field:

  temp := ex
  temp.a

Nicer might be to add an instance (or self, me, thiz) to Any.fz

public Any ref is
  ...
  public instance => Any.this

then we might be able to do

say ex.instance.a

[fridis]

please create 2 issues for my unresolved comments.