quantization

Rhythms are represented using trees and quantization is performed by applying rewrite rules on the rhythm trees.