Theoretically completed implementation of compressor.

Moved all AVX-specific bits into avx.h.
Renamed vector types.