[semver] Fixing type definition for satisfies to return a boolean.

Cleaning up type definitions a bit, and lifting function comments into JSDoc so IDEs like Visual Studio will appropriately display the comment.