Handle dynamic types

[tomrijnbeek]

🆙 Improvement proposal

Support providing types without having to rely on generic type parameters

Context

Currently, the design of the different builders uses generic type parameters to assign types to variables, fields, methods, etc. However, there are genuine use cases for types being dynamic. In that case, you may have a Type instance, which is a bit harder to turn into a generic method call. We can probably have method overloads using Type parameters rather than actual type parameters, though how would we handle FieldReference in that case? Do we support a non-generic FieldReference as well in that case? sad :(