WIP on typechecking case statements