Extract formerly-named "flet-star" into new library "evaluated-flet".