added concept of 'algebraic theories'