Added method list as equivalent to type list.
Refactored unit tests after introduction of type abstraction.