final touches in the MOP (#1170)

The t::t type, system and shadow classes, and generics based on classes
instead of type ids.

**Everything has classes now!**

TODO:
- [x] define system classes
- [x] define meta types for system and known shadow classes in prelude
- [x] bootstrap
- [x] update std/generic to use the new infrastructure
- [x] tests

doc/reference/dev/bootstrap.md

@@ -191,47 +191,40 @@ core, the simple recompilation approach outlined above is
 insufficient.  What you want to do in this case is a recursive
 bootstrap recompilation.
 
-- First build the base bootstrap, using your extant gxc (either latest master or previous recursive bootstrap in your branch), without generating the cross module optimization meta modules:
+- First build the base bootstrap, using your extant gxc -- either latest master or previous recursive bootstrap in your branch:
 ```
-$ cd src
-$ rm -rf bootstrap/*
-$ gxc -no-ssxi -O -d bootstrap -s -S gerbil/core/{runtime,expander,sugar,mop,macro-object,match,more-sugar,more-syntax-sugar,module-sugar}.ss gerbil/core.ss gerbil/runtime/{gambit,util,table,control,system,c3,mop,error,interface,hash,thread,syntax,eval,repl,loader,init}.ss gerbil/runtime.ss gerbil/expander/{common,stx,core,top,module,compile,root,stxcase}.ss gerbil/expander.ss gerbil/compiler/{base,method,compile,optimize-base,optimize-xform,optimize-top,optimize-spec,optimize-ann,optimize-call,optimize,driver,ssxi}.ss gerbil/compiler.ss gerbil/gambit.ss
+$ ./src/bootstrap.sh
 ```
 
 If you have made changes in the compiler optimizer meta and the extant
-compiler does not accept your code (or generates broken code), you may
+compiler does not accept your code (or generates broken code), you will
 want to try without optimizations:
 
 ```
-$ gxc -d bootstrap -s -S gerbil/core/{runtime,expander,sugar,mop,macro-object,match,more-sugar,more-syntax-sugar,module-sugar}.ss gerbil/core.ss gerbil/runtime/{gambit,util,table,control,system,c3,mop,error,interface,hash,thread,syntax,eval,repl,loader,init}.ss gerbil/runtime.ss gerbil/expander/{common,stx,core,top,module,compile,root,stxcase}.ss gerbil/expander.ss gerbil/compiler/{base,method,compile,optimize-base,optimize-xform,optimize-top,optimize-spec,optimize-ann,optimize-call,optimize,driver,ssxi}.ss gerbil/compiler.ss gerbil/gambit.ss
+$ GERBIL_BUILD_NOOPT=t ./src/bootstrap.sh
 ```
 
 Otherwise, you are likely violating some of the bootstrap strictures; see below.
 
 Once you have compiled the base bootstrap, you can proceed to build stage1:
 
 ```
-$ ../build.sh stage0
+$ ./build.sh stage0
 ...
-$ ../build.sh stage1
+$ ./build.sh stage1
 ...
 ```
 
 If you compiled the base bootstrap without optimization, you will also have to set `GERBIL_BUILD_NOOPT` during the stage1 build:
 ```
-$ GERBIL_BUILD_NOOPT=t ../build.sh stage1
+$ GERBIL_BUILD_NOOPT=t ./build.sh stage1
 ```
 
 After you have built stage1, you can use it to build the recursive
-bootstrap, generating the cross module optimization meta modules this
-time.
+bootstrap:
 
 ```
-$ cd src
-$ rm -rf bootstrap/*
-$ mkdir -p bootstrap/gerbil
-$ cp gerbil/builtin.ssxi.ss bootstrap/gerbil
-$ ../build.sh env gxc -O -d bootstrap -s -S gerbil/core/{runtime,expander,sugar,mop,macro-object,match,more-sugar,more-syntax-sugar,module-sugar}.ss gerbil/core.ss gerbil/runtime/{gambit,util,table,control,system,c3,mop,error,interface,hash,thread,syntax,eval,repl,loader,init}.ss gerbil/runtime.ss gerbil/expander/{common,stx,core,top,module,compile,root,stxcase}.ss gerbil/expander.ss gerbil/compiler/{base,method,compile,optimize-base,optimize-xform,optimize-top,optimize-spec,optimize-ann,optimize-call,optimize,driver,ssxi}.ss gerbil/compiler.ss gerbil/gambit.ss
+$ ./build.sh env ./bootstrap.sh
 ```
 
 And you have a brand new recursive bootstrap you can use. From here

src/bootstrap.sh

@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+set -e
+
+gerbil_opt="-O"
+if [ ! -z "$GERBIL_BUILD_NOOPT" ]; then
+    gerbil_opt=""
+fi
+
+rm -rf bootstrap/*
+mkdir -p bootstrap/gerbil
+cp gerbil/builtin.ssxi.ss bootstrap/gerbil
+gxc $gerbil_opt -d bootstrap -s -S gerbil/core/{runtime,expander,sugar,mop,macro-object,match,more-sugar,more-syntax-sugar,module-sugar}.ss gerbil/core.ss gerbil/runtime/{gambit,util,table,control,system,c3,mop,mop-system-classes,error,interface,hash,thread,syntax,eval,repl,loader,init}.ss gerbil/runtime.ss gerbil/expander/{common,stx,core,top,module,compile,root,stxcase}.ss gerbil/expander.ss gerbil/compiler/{base,method,compile,optimize-base,optimize-xform,optimize-top,optimize-spec,optimize-ann,optimize-call,optimize,driver,ssxi}.ss gerbil/compiler.ss gerbil/gambit.ss