rename LambdaTwo.v -> LambdaTwoSyntax.v
bringing code and notes together