Added Formals from methoddecl to the context. Added type checking for method args/return