allow quoted bitstypes in ASTs. remove an extra colon.