Defpackage cleanup
Implemented decode and verify