signet-checker

Type checker for signet type system