metamodel: support the Nothing type #226

not sure at all if it should be
shared object nothingType satisfies ProducedType{}
or
shared interface NothingType of nothingType satisfied ProducedType{}
shared object nothingType of NothingType{}