rename variables in appendo
change `u is v` to `u == v` in unify
add states example