tipificava