add some notes to some typerules