Text this: SlanC: A Speci?cation language for computable Contracts