Add -= operator

Also added a dummy Boolean interface to prelude.