i assume the next step is getting the type system ...
# announcements
s
i assume the next step is getting the type system is context