Hash support
spec for structs equality
minor refactoring, add POS operation