moved meta-prover stuff in stc/meta/;
Signal is now part of meta/ rather than lib/