WxOCaml2: a typed interface for wxOCaml