Human/Machine readable method type annotations for Ruby