[Resolver] Refactored handling declaration conditions dramatically.
.
[Resolver] When resolving template instance expressions via TypeDeclarationResolver, use the ExpressionTypeEvaluation internally instead
[Tests] Furtherly adapted some unittests to new behaviour