finished scottization, although it is a little messy.
Now I just need to set up a pretty printer and
a parser to do real example.