Moved Prelude.Coinduction to Builtin.Coinduction
Added Builtin.Size
import Builtin.* in test/Main
Merge branch 'compat-2.4.0'