Make encoder a lazy list
Update core to both encode the file and decode it
Add dataset