renamed finfer to ast_typed