Prelude update

Added "{ | true}" refinements and other mostly aesthetic changes to prelude. Fixed a test that this revealed to be broken.