The library FDR3 uses for parsing, type checking and evaluating machine CSP.