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.