handling for no input files
reworked type inference