type specs for JGI/KBase integration