well... WIP, I guess :-)
make class_check somewhat happy (therefore eiffeldoc should be, too)