Add tests for head, tail, etc.; add reverse lib function
Tighten contract/debug code; minor fix for lifting logic
Add basic list-like primitive operations
Switch from making "erased" version to "dynamic" version (no index machinery)