migrate to nispero-abstract 0.1.2