Used the terminating version of subst in compute_semanticsLib and remove a superfluous case in proof
Added missing defs to compset for type inference on signatures
make build-email.sh send email in case of success too
Added changes to signatures in type system/inferencer
Merge remote-tracking branch 'origin/master' into type_sys