Improve show Type
rewrite Makefile
gatherConstraints (in progress)