Pyfour: A High-Level Language For Programmable Devices