added support for explicit printing
added buggy smart context printing (need to treat binders)
minor change