format uni.c with astyle --style="attach"
add space between type and parameter name
add comments for types of lambda terms and content of closure
rename backward rule to avoid circular dependency, add rule to test uni