Topiarist provides tree and shape-based type verification for JavaScript.