splay-octane: rationalized mutabilities and removed extra annotations