Update typelevel activator