added applivative order evaluation and pretty cmd line options