The main SimplictE files, including the core.