Dynamic type based on another value - arktype