Moved Prelude.Coinduction to Builtin.Coinduction
Added Builtin.Size
import Builtin.* in test/Main