Env.Instance
type InstIdent
ppInstIdent
type InstInfo
type InstEnv
initInstEnv
bindInstInfo
lookupInstInfo