Simplify code that type-checks lists for unbound tails and variable items whenever the the type-check of each list item already looks for instantiation errors