compiling simple prop logic. WIP: codegen