Allow "main" as package name
allow empty body in a package
use maybe