disabling output of everything except @NotNull parameters

Temporary hack to migrate from stable (yes/know) keys to keys with resolve directions.
delta in test data
delta in test data
output of virtual (downward) keys
handling of interfaces during downward resolve
delta in test data
naive constructing of equations for hierarchy for NotNull parameters
ad-hoc modifications of main.scala to handle hierarchy
in progress: towards testing with hierarchy
for debug: special marker for abstract methods
fix for handling inner classes
only not abstract (concrete) methods in RHS of resolve equations for overridable methods
delta in test data
delta in test data
more tests - testing inference with hierarchy
fast (linear) walking through built hierarchy in order to find all implementations of a given method

previous (slow) implementation was incorrect - tests showed it
fix in test data

(the diff in test data is because of bug fix in handling of hierarchy)
refactoring of the main facade
in progress: migration to a new staged solver