method type checking, variables and arguments