rename
fix
fix
add samples
fix comment
add predicate pattern example
fix comment
update matcher
add sample and comment
update
add Geometry.txt
introduce sort
fix
s/sort/kind/
add subtyping comment
fix
fix
fix
fix
update