Remaining TODOs: Compute the type of

• Block lambda
• Expression lambda
• Call
• Block lambda result
• Placeholder
• Yield
• Parameters of block lambdas passed as arguments (needs scoping)
• Parameters of expression lambdas passed as arguments (needs scoping)
• Elvis operator with nullable left side (needs type checker)