several fix
several bugfix
fix
support MethodDecl typechecker