* Added support for ptype's bases.
* Changed the way predicate types are defined. Now, the defining function must return an object with "is", "to" and "bases".
* Initial implementation of ptype's generic "is" function