Add jype errors
Modify example and withCheck function