type dynamics