Also generate type preds; release 0.9.4