pulled in prelude and environments from LambdaJS, running tiny tests, next up is debugging the semantics.