comments modified in treereduce.c, type.h. README.md added.