Creating  basic typelist algorithms from Loki.