WIP: type validator spec
Update development dependencies

Pin RSpec to 2.99; use pry.
Adding partial type validation

There are some limitations, due to property/predicate mapping issues and
a strategy for typed literals needs to be sorted out.