some progress with types