projectionに型注釈を付けるようにした
未だにletがSMLの文法になっていなかったので修正