Assign_type_toplevel #4
Description
Currently, assign_type_toplevel for interfaces just returns the interface without anything being applied. I did this to pass compilation, but I am uncertain if anything should be applied. Do the proper type assigning if needed (I don't think it will be needed)
type.ml file on line 524