fixing errors in units plugin
fix disprover ui
RodinDBException -> CoreException
RodinDBExceptoion -> CoreException
Even more CoreException + Removed FormulaFactories from arguments
TypeEnvironment / TypeEnvironmentBuilder changes for Rodin3