wip make sure tuples and function types work after typer