public ListenableFuture<String> push(final String name,final Expression func){
  String let=String.format("let %s = %s",name,func.toHaskell());
  return pullRaw(let);
}

public ListenableFuture < String > push ( final String name , final Expression func ) { String let = String . format ( "let %s = %s" , name , func . toHaskell ( ) ) ; return pullRaw ( let ) ; }
uploads a new let binding to ghci
