Dress shoes

BUR #61401 is pending approval.

create implication dress_shoes -> shoes

Seems obvious enough

BUR #61402 is pending approval.

create implication oxfords -> shoes

Self-explanatory

BUR #61404 is pending approval.

create implication monk_shoes -> dress_shoes
create implication oxfords -> dress_shoes
create implication saddle_shoes -> oxfords

I feel that it would make more sense to imply oxfords to dress shoes given that the dress shoes wiki lists them as an example and implying shoes for oxfords is redundant if dress shoes already implies shoes. Also, saddle shoes to oxfords since they are just a type of oxfords.