implementation module gen

import StdEnv

import ast

gen :: AST -> Either [String] [String]