Add example: should avoid traps
Add move_spec
Add example Move#safe? should be true
Remove duplicated constant definition