Title: Design and implementation of a simple typed language based on the Lambda Calculus