spacing type: mkExpSpacedParser
its ext not exp
added 'if x then y else z' expressiom
doc: extended and updated