chore(engine): remove unnecessary TODO
chore(engine): make variable value subtype resolution transitive

related to CAM-2939