A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"