made Abstract* specifications abstract
Merge pull request #28 from mlueders/declare_abstract_classes

made Abstract* specifications abstract