mixed-types-num-0.3.1.2: Alternative Prelude with numeric and logic expressions typed bottom-up