arraylit_type matching, nog geen depth matching, maar getDepth en depth inference voor vardecs etc