Added ifNo to Prelude.Decidable
Added replicate and universe polymorphic lookup in Prelude.List
New module: Text.Printf
Use Text.Printf in test/Main