added content on background and motivation (migrating from universalalgebra.org)