Update setup scripts
Fix json export
Add display_prototypes()