Cleaned up Default.fluxx, sorted in ascending order