Just a minor point - type hints only really help if you put them in struct fields. In function signatures they only limit what can be dispatched to that specifi

Just a minor point - type hints only really help if you put them in struct fields. In function signatures they only limit what can be dispatched to that specific method, there's (almost always) no difference to leaving it untyped since functions are compiled for specialized types anyway.