option to print types of free vars