updated the makefile
created NaiveEnum.v and NaiveTree.v

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>