InvariantType markers added