関数代入時の型checkを厳格にする

関数代入時の引数の型チェックにおいて、

falseならbivariantで、trueならcontravariantになる

これは、method型には適用されない

method型はbivariantのまま

ref 関数なのかmethodなのかで変性が変わる