Implementation of Combinatory Reduction Systems (CRS) with extensions.