Various small changes
Add agda mode
Add typopunct mode