Libraries to support the type-oriented construction of web user interfaces based on the html2 package