Start System Fw from scratch
Add typechecking to System Fw