Added InvariantType Marker to distinguish Entites from different EntityManagers (and give compile time errors on wrong use)
Merge branch 'InvariantType-Marker'