Add type families paper