[abstract] Deny abstract class storage fields.
[types] Allow fields and methods to be of type of the enclosing class.
[d] Fixed delegate type declarations.