pinned

val pinned: Boolean = false

Pinned propositions are exempt from decay/forgetting (lifecycle, PR #30).