Streams

import church.lang.ByteStream;
import church.lang.System;

// abstract <T> ByteStream: (ByteStream: stream) << (T: element);
abstract <S, T> S: (S: stream) << (T: element);

output = System.OUT;