Not sure if you noticed this (https://news.ycombinator.com/item?id=26323888), but it's similar in spirit to the Lambda terminal idea.