constructor argument -> constructor parameter
switch to monomorphic types
fix bugs, add test-suit, add mode-fixpoint