Move type lbool to module Sh