A self-interpreter of lambda calculus having a normal form