Direct mapping of some BEL functions; only reify when necessary