Trick to print filename instead of cached stream
- Implemented replace_head and expand_head, that operates at head level.

- Minor bug fix, applying once/1 to Expander goal, deterministm must be forced.