Add Set instances for Empty and At