Added agda support.
Redesign.