removed old unused file
fixed SequencePrinting test and bug within typechecker for comparison