Add Prelude.Propositional
add Biapplicative
add Indexed