Extract hal into lib folder
Move monad and sanitize also into lib subdir