add demo of typename's new usage
clean