Merge pull request #3 from comius/master

newton + alpha
implementation of compile types without newton's method
reinclusion of newton with compiled code
cleaning up approximate
Removed RealVar, Interval from syntax
empty space
tuples
compile w/o alpha substitution
rebased to master