Visible to the public Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell