agda-mode:normalize
goal specific expression normalizing