update F.jar (type synonym doesn't crash REPL any more)