Prorotype of a next-generation reactive UI framework for client-side WebSharper/JS/HTML5