fix a bug in mkL
add Name.hs
update syntaxes