ivory-stdlib: fix typelit API usage.
type-lit api: back out unnec. changes from commit ac0d5.