v2.7.40
[CIVL] Refactor monomorphization (#300) * refactor monomorphization * Use dictionary collection initializer for type variable mapping * Refactor linear type checking * ported more examples * further refactoring Co-authored-by: Bernhard Kragl <bernhard.kragl@gmail.com>