An HTML template system useful for reactive programming