An simple polymorphic language with inference for learning