fix finite model
add cpf utility
Revert "Revert "derive show instance for Marked""

This reverts commit 86716e82a358cfb77fc026191706897fb1f7b38a.