Add support for infix constructors to HTML generator (untested)
Bump version.