nullability computer
initial parser-interpreter work, with associated cleanup elsewhere