tipificaban