Modified exists_typesig function and Ast.Tysig case of walk_decl function
Merge branch 'code' of github.com:kyzhai/SMURF into code