refu
refu copied to clipboard
Implement Type Inference
Fully implement proper type inference where possible.