@ilyasergey @krismicinski @kha you did mention at one point that you were thinking of different models (specifically separation logic). I'd definitely be curious to see where that goes :)