mk_op: Use mk_{seq,union} operations for app composition

These operators will eliminate extraneous policy fragments while
performing composition, which will make the result easier to read at the
very least.
Merge pull request #344 from frenetic-lang/mk_op

mk_op: Use mk_{seq,union} operations for app composition