integer stuff
sublemmas
env cons increments size by 1
"unable to find '%trustme'": preservation proof done (cc:@namin)