A pyret implementation of three heap operations.