[incomplete] Progress in KNormal.hs
Complete KNormal.hs