A Lambda Calculus Satellite