numerous updates

fixes to make hashing vectoriser actually work (i.e. wasn’t doing what
we thought before)