Experiments with types and code