Got func call type checking working for returns, args next