constitutional typing

constitutional typing