Add support for semantic components to help distinguish between the labelled components coming in to the reductions rules.

Submitted by Vlad Vergu on 20 May 2014 at 15:41