Added basic type validation. Of course, there's no spec for how types are represented, so it may be all wrong. Oh well. The server doesn't check anyway.
Added examples for bool and range types.