ByteCodeLink
data HValue
type ClosureEnv