Improving Markup and Other Category Logic