Implementation of type extension

Simple implementation.
A super type has to be declared before.