Use traits to "tag" the Method types

Properties such as Samantics and HasBody can be represented with traits
Some renames