Check for applicability of a LibNode expansion

It would be nice if, while expanding, we can check that the chosen expansion is applicable and if not, default to something else.

In this sense, there should exist also some priority scheme on expansions.