Moved CSharpFormula to its own file; renamed CSharpFormula cases; implemented Formula transformation (no unit tests yet)