User-defined Types and Default Values in the Frame Syntax