Local classes shouldn't be able to implement __* interfaces

[gneuvill]

Local classes are classes declared inside methods or value constructors : there seems to be no use case for lifting those to type constructors.