finished up most of recutils, still need to add unsubstitution, then recursive data types will be near complete