update case functions in deftraps