[wyah]: Function Subtyping

[kevinbarabash]

This allows us to:

• pass more args than params to a function
• pass a callback with fewer params than are expected