ivory: remove unused packages, files.
concrete: fix parse bugs.