Update typespecs in Inspect.Algebra