team-worthwhile/worthwhile — comment on commit e1f9c3ae3fc10df1ef055b0cfb24fae6bf6e132d
File: implementierung/src/worthwhile.interpreter/src/edu/kit/iti/formal/pse/worthwhile/interpreter/InterpreterASTNodeVisitor.java line 1148
By bafain:

Why do we not use the `WorthwhileTypesystem` here? Note: This does not address the containment problem mentioned at line `1152` but who implements the type definitions?