Is it worth contemplating the ramifications of allowing IMPLICIT NONE (but no other IMPLICIT) in a BLOCK construct? It seems to be useful.