Updated with minus, compatible, and typeCheck

none officially tested