RACR-meta: separation of pattern language #65
Description
To simplify the core implementation of RACR and, in particular, clearly identify and elaborate the essential facilities required for meta-instantiation and reasoning (cf. issues #62 and #63 ), the pattern language should become a separate Scheme library, that can be loaded additionally to (racr-meta core) if required.