Typecheck fixes for OCL flattening #1398

Job	Run time
check-error-codes	5s
trigger-montiverse / trigger-montiverse	9m 43s
test-for-breaking-changes	0s
build-generator	0s
test-it-emf	0s
build-mc	0s
test-02-experiments	0s
test-montitrans	0s
test-01-experiments	0s
test-it	-1s
test-grammar-it	-1s
	9m 46s

Provide feedback