What if gamified software is fully proactive? Towards autonomy-related design principles