work on new typing system