Render "<" properly in HTML
Defining flexible type semantic equality through subtyping