arb+deriving for abneList. Tests for abneHead/abneTail. AbList module exports now implicit.