Experiments with Foundational Programming Languages