Add specialized loop implementations module
Add type matching functionality
Use type matching to specify loop specializers
Add indexing iterator loop implementation
Fix np.nonzero type inference result