Released version 1.3.0
Changes from 1.2.1: added TXHASH-TABLE, a hash table specialized for TVARs