As the preferred choice for ipywidgets' language in the front-end is TypeScript, should we make the transition in ipyleaflet?