Adding more kinds
Adding methodDecl type checking