Remove agda-assoc-free

[none]