5.0.2

This is a maintenance release:

• Moved to Git and GitHub.
• Relaxed profunctors dependency (finally).
• Moved language extensions into the individual modules.
• Minor style changes.