New post: Terms Indexed By Canonicity Admit Coercion Across Isomorphism

Also widened the page width a bit.