I would strongly recommend to only go with one syntax, and not differentiate between regular functions and lambda statement
You can still have your type inference without forcing the unnecessary requirement that local functions be `fn` while top functions be `func`.