High-Level Programming on the Basilisk Tree