A Proposal for an Interactive Shell Based on a Typed Lambda Calculus | Read Paper on Bytez