added type sigs