Ruby module for abstract types for logic programming

 This package provides a Ruby module that allows one to define types with
 optional constraints for use within axiom and other libraries. It can
 be used for logic programming.