Text this: Encoding many-valued logic in $lambda$-calculus