add caseOf to reflect new k3
print: add case syntax