updated prelude file for error types