Added type check on ArrayType element types
Corrected missing return statement in argsCheck()
Added try-catch for non-method CallStmts
Fixed up CallExpr type checking

- added try-catch for non-method callees
- check method decl with actual return type