Rename InstHead to InstRule and DeclOrInstHead to InstHead. Work on #31.