abstractions bind tighter than application
added another test to see how conditional branch evaluates
application bigstep
partially working mu
partially working mu
made bigstep semantics as consistent as possible with the theoretical rules. Also moved resources about