Adding real tests for partial/uncurry
Moving linking to first invocation when argument types are known.
Simplification