Lisp tests
Formatting
Removes old Device module