All in one interpretation function.
Initial of interp working (cases for binop missing).