A general theory of André’s solution algebras