Removed now superfluous class Nil {} definition (now done in BOOTSTRAP)