ELEMENTARY MODULAR IWASAWA THEORY