Reworked REPL prompt
Basic command-line argument checking.