rename file
only vars can be 'case'd
stub for the case typechecker