Implement resolution for labels, more operators