Prototyping Through Lindenbaum Algebras