complementary doc files
a file for the specification of each type
updates type system and language specification