Made everything typecheck, restructured the location of signatures to Signatures.ml