feat(LRE): Add base tests. Fix minor bugs and typos with schemas and imports. Add final procedure states