... add annotations to normal forms