Adding a better start pos for vars; always adding a synthetic type tree to vars. Reviewed-by: mcimadamore
Jan Lahoda