no longer true that 'no types' is an error