I’ve added the ability to type a variable based on an expression. The type_infer type operator resolves to the type of the provided expression —