Agda unicode entry
Tweaks to GHCi