deleted test bindings
deleted old comments
added alternative Show instance for Expr
added top level interpreter function