T-Ruby is Ruby with syntax for types