Tons of cleanups to absN/V

Among others, reverse list of type arguments, so that the final type
signature is the one you'd expect, without exposing implementation
artifacts.