Dirty implementation

Messy implementation but functional for StructuralFormula
Delete files

Deleting some dead files