Experiment: a strongly typed, garbage collected, strict functional language that interacts with Objective-C