minor style changes to source.
update typesystems submodule to newest head.