Function Length-1-List-P

Part of:

package lift
( length-1-list-p < x > )

Is x a list of length 1?