add JSON.asString
fix Json.asString API
fix MethodCall TypeChecker
add test
rename package