differentiated set and setf
added verify verbosity
renamed lap to get, removed let as redundant to serf