BUILD: fixed up the javadoc rules, so it now generates javadoc again!!
WYCS: bug fix for the way that types are propagated throughout expressions.