Your meticulous detailing of the language's syntax and semantics, coupled with a comprehensive set of sample inputs and their corresponding expected outcomes, is highly valued. Such a level of clarity and precision in your problem statement serves as a fundamental cornerstone in the development of an accurate and effective type inference algorithm. Much love for your dedication to this crucial aspect.