module Clever::Types