fix constructor functions
add a fixed point term
add underscore to lexer
useless import
distill/desugar Fix