typetags ; some more pattern matching