Use simplifications in tyxml to clean up the additional functors.