add tests
fix unit pattern
fix syntax
add test
compile list cons pattern