Type checking and simplification of Lustre expressions