added type rule