Bring Prelude to scope
Fix a bug in MainLoop
Fix so givenBool is accepted
Don't add junk to --auto signatures