Feature: Type System

[raphaelhetzel]

Goals:

1. Support interactions between partially matching types.
2. Enable generic (content-based) filters.

Examples for partially matching type: Aggregator for generic sensor value & a specific sensor value.