1. add kinding in syntax.  2. revise style in rules.