Initial Check In of package formula

Empty package object, and a sketch of Boolean Formula