use bot for *.bot in rabbit
refactoring beSSem.v

- add some comments
- modified memory related notation (mem_lookup, mem_update)
- add product notation (.1, .2)
- parameterize (locs:Mem.Locs.t) and (mode:update_mode) from the user part
- modified variable names