complete hello world problem
rename T to 0 and F to 1, reorder combinators
remove U, rename args for D and X
rename B to P, rename args