Definitions as a Type System — MYOPIC.LAW