Makefile and some types for records