Add fromList.
Add alternative node smart constructor.
Revise module structure.
Update to new version of syntactic.
Remove broken alternative node smart constructor.
Moving files to begin refactoring modules.
Fix Render instances.
Split atomic values into separate module.
Rename and revise simple data types module.
Update cabal file, remove file-specific language pragmas.
Separate binary tagged and formula choices.