Initial typing experiments
more advanced typing experiments