fix error, add Util.isNonAuthenticList
minimum refactoring
add Util.drop
add Util.last
add pattern_languate.c, type/bound_symbol.c (for implementing hygienic macro)