Consider including Fe in the spec

[cameel]

Currently the spec is based only on existing Solidity and Vyper features:

In addition, this proposal is necessarily geared towards the state of the Solidity/Vyper languages as they exist now.

I think it may be a good idea to also include Fe in that set. It's still not considered entirely stable but it already went past the alpha stage and will likely be considered one of the major contract languages on the EVM in the future. I mean, there were a few short-lived experimental languages that never gained traction and eventually died off, but this is not one of them.

It already has some features that would potentially future-proof the spec: generics (at least in some limited version), proper tuple types, enums with data.

Alternatively, it should be considered for inclusion in future versions if we prefer to exclude it from the initial one to limit the scope, but I wanted to make sure everyone is aware it exists.