math implementation for baseLanguage with type system, generator, dataflow