Re-implementation of core-languages

Keeping the first order layer only and
simplifying it considerably.