got types to check out for analyzer. updated makefile to run tests