Add verification check for module.
Learn progn syntax.