Expand description

Fallible coercions of PSL expressions to more specific types.

Functions