Bird Language Specification and type analyzer.