Inferable types

[lucaswoj]

Some backends are able to infer ideal values for different parameters. We want to represent this behavior as a higher order type, Inferrable<T> (though perhaps notated differently in our front-end)

We need to decide how these types will be represented in our front-end language

1. Inferable(T)
2. @inferrable T
3. T(inferable: true)

@lucaswoj likes 3 best right now... It would be a primitive attribute available on all types, i.e. (Boolean(inferable: true))

and how this should be represented in the front end.

@mtrberzi says the implementation of this feature is somewhat urgent for our clients

[lucaswoj]

Actually, I think I like option 2 better now