* [GV_ATTRS,FIX] Existing typecheck could not be described with default must_be/2 predicate.
* [GV_DCG,FIX] Added determinism at several places.
* [GV_FILE,DOC] Non-existing arguments in predicate documentation.
* [RANDOM_VERTEX_COORDINATE,FIX] Updated use of random predicate.
* [RDFS_PROOF,NEW] New module implementing backward chaining for RDFS.
* [TYPECHECK,NEW] Added a new typecheck kind: float_between(?Lower:number,?Upper:number).