Function resolve_types 

pub fn resolve_types<S: AsRef<str>>(ast: AST, module: S) -> AST