checkpoint: inference
checkpoint: rearrange, fix bugs
first inference working (for lowly empty); debug printing currently present
add conInst, compute types to instantiate in inference, all internal tests passing (with a few testing inference)
add another inference test