Improve Type class.

Signed-off-by: Etienne M. Gagnon <egagnon@j-meg.com>
Fix type verification of transformations.

Signed-off-by: Etienne M. Gagnon <egagnon@j-meg.com>