lazy(), @has, Pyjo.Base.attr