List.:: added in library
Pretty printing fixes
Extract all standalone modules into one