Remove parameters for coordinates from mkNode
Make nodes of implication graph draggable
Optimize functions APPLY0 and EVAL0 in generated JavaScript