updated README
added a basic forward and backward extensible implementation of a type list
use a flat namespace scheme