added rings, orders, lattices to theory file
renamed theory files