groups: Add tiny little definition for homomorphisms
Add notes on Van Dalen's Logic and Structure