Text this: Second Order Limit Language: An Introduction