Is your feature request related to a problem?

If an expression has an unknown type (e.g. because the schema effects of a function where not accurately described), it should be possible to override the type.

Desired solution

• Type casting expression x as t.
• Grammar
• Formatter
• Partial evaluator
• Type computer
• Add check to ensure it can only be applied if the original type of x is unknown.
• Update docs

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response