[EXPERIMENTAL] an EDSL for extending Objective-C's type system