typing system in place