Updated tests for #773 now that typechecker issues are fixed