Function infer 

pub fn infer<'a>(stmts: &[Stmt<'a, 'a>]) -> TypeEnv

Build a TypeEnv (variable → type map) from stmts.