Use exported checker and constraint functions.
explicit is now a function returning an executable