Adding new algebras in submodels and constraining them