Refactored denotation transformers

Many small and large changes. Added samplePhase to demonstrate functionality.

To test functioning, run the compiler with args

     tests/pos/uncurry.scala -Ylog:sample,terminal

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/pos/uncurry.scala b/tests/pos/uncurry.scala
new file mode 100644
index 000000000..a11a0652d
--- /dev/null
+++ b/tests/pos/uncurry.scala
@@ -0,0 +1,6 @@
+object UnCurryTest {
+
+  def f(x: Int)(y: Int) = x + y
+
+  f(1)(2)
+}