[ Makefile ] Cleaning
[ Agda ] Added instance blocks