Add cakefile
add incomplete ambiguizer and failing tests