Start on type signatures, catch argument errors

Also streamline plotting code, update plotting doc.