Update specs
add typesystem spec