test: Fix overloading 2 module name.
test: Add overloading 3 and 4 for overloading type inference.
semantic: Don't infer types from function sets.