A general-purpose animation module.