superrecursive recursive hypersequential subrecursive co-recursive hyperreflexive functionally complete hyperarithmetic hyperlinear primitive recursive