The call (evens x) returns the restriction of the true-list
x to its even-indexed members (with zero-based indexing). Note that if
x is a list (k1 a1 k2 a2 ... kn an) that satisfies the predicate
keyword-value-listp, then (evens x) lists the keys ki of
x. Thus, the following is a theorem.