added some papers on normalization that could help come up with a good implementation
Added preliminary example with splitting trees and recursive syntax (mostly a syntax idea).