only indentation changed
added partial application test
print the final state
olex.ml
wrote some more