Added exposition (use in core made the hard way)
Now expose can be called
Better (not yet satisfying) error msg when unbound