add reary constructor and empty set
fix expression "immutable"
add new example