Add type matching functionality
Use type matching to specify loop specializers
Add indexing iterator loop implementation