Reimplement java backend builtin list

Provides important support for proving several kernelc examples that mention I/O cells.