Release 1.5.5

Second intermediate release of our internal branch merge process this summer with on-the-fly self-subsuming resolution and a combination of vivification with instantiation all implemented by @m-fleury